]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d531473) | patch
overview: Add public API to add search providers
authorPhilippe Normand <philn@igalia.com>
Sat, 3 Sep 2011 10:01:33 +0000 (12:01 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Sun, 4 Sep 2011 11:28:08 +0000 (13:28 +0200)
commit8b796e745d98f8d64765911a69348d7d4d34dc03
tree4f64cea7ae606978378f7f5375eb13524186ecb6tree | snapshot
parentd5314736dea1466e3a3c1aeb350192344e3beeeccommit | diff
overview: Add public API to add search providers

Add a addSearchProvider() method, so extensions don't have to access the
view selector directly, which is now a private property of the overview.

https://bugzilla.gnome.org/show_bug.cgi?id=658113
js/ui/overview.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.